Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
901	Automatic Component Selection with Semantic Technologies Olaf Hartig, Martin Kost, and Johann-Christoph Freytag Humboldt-Universit¨ at zu Berlin Department of Computer Science Add to Reading List Source URL: www.dbis.informatik.hu-berlin.de Language: English - Date: 2008-09-25 15:32:16 Systems engineering Software quality Software engineering Requirement Constraint satisfaction Software development process Systems engineering process Constraint programming Reliability engineering Computing Software development Software
902	Kangas and Kangas Silva Fennica[removed]research articles Optimization Bias in Forest Management Planning Solutions Due to Errors in Forest Variables Add to Reading List Source URL: www.silvafennica.fi Language: English - Date: 2013-05-07 07:30:15 Regression analysis Mathematical sciences Science Econometrics Constraint optimization Specification Linear programming Standard error Uncertainty Statistics Operations research Mathematical optimization
903	Silva Fennica[removed]research articles Eight Heuristic Planning Techniques Applied to Three Increasingly Difficult Wildlife Planning Problems Pete Bettinger, David Graetz, Kevin Boston, John Sessions and Woodam Chung Add to Reading List Source URL: www.silvafennica.fi Language: English - Date: 2013-05-07 06:29:40 Operations research Search algorithms Mathematical optimization Constraint programming Heuristics Genetic algorithm Tabu search Simulated annealing Travelling salesman problem Applied mathematics Mathematics Numerical analysis
904	SAS /OR 9.22 User’s Guide ® Constraint Programming The correct bibliographic citation for this manual is as follows: SAS Institute Inc[removed]SAS/OR ® 9.22 Add to Reading List Source URL: support.sas.com Language: English - Date: 2014-01-16 03:31:12 4GL Business intelligence SAS Linear programming Scheduling Project management R Microsoft Project SAS language Statistics Software Computing
905	Improving Parallel Local Search for SAT Alejandro Arbelaez1 , Youssef Hamadi2,3 1 Microsoft-INRIA joint-lab, Orsay France [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-12-07 07:14:51 Constraint programming Logic in computer science WalkSAT Boolean satisfiability problem Local search Algorithm DPLL algorithm Maximum satisfiability problem Search algorithm Theoretical computer science Applied mathematics Mathematics
906	A New Look at Survey Propagation and Its Generalizations ELITZA MANEVA, ELCHANAN MOSSEL, AND MARTIN J. WAINWRIGHT University of California—Berkeley, Berkeley, California Abstract. This article provides a new conceptual Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-07-31 14:18:53 Constraint programming Graphical models Probability theory Logic in computer science Boolean satisfiability problem Belief propagation Markov random field Constraint satisfaction problem Unit propagation Theoretical computer science Applied mathematics Mathematics
907	Constraint Reduction for Linear and Convex Optimization Meiyun He, Jin Jung, Paul Laiu, Sungwoo Park, Luke Winternitz, P.-A. Absil, Dianne O’Leary, Andre´ Tits Presenter: Andre´ Tits University of Maryland, College P Add to Reading List Source URL: math.nist.gov Language: English - Date: 2014-03-11 13:15:45 Quadratic programming Linear programming Constraint Duality Interior point method Karush–Kuhn–Tucker conditions Convex optimization Mathematical optimization Mathematical analysis Numerical analysis
908	Integer Programming Wolfram Wiesemann November 17, 2009 Contents of this Lecture Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-11-23 07:02:42 Applied mathematics Cutting-plane method Mathematics Numerical software Integer programming PROPT Constraint programming TomSym Numerical analysis Combinatorial optimization Operations research
909	The International Journal of Robotics Research http://ijr.sagepub.com/ Motion planning with sequential convex optimization and convex collision checking John Schulman, Yan Duan, Jonathan Ho, Alex Lee, Ibrahim Awwal, Henr Add to Reading List Source URL: ieor.berkeley.edu Language: English - Date: 2014-06-19 01:28:56 Trajectory optimization Collision detection Linear programming Convex optimization Quadratic programming Constraint optimization Penalty method Motion planning Optimal control Mathematical optimization Applied mathematics Mathematical analysis
910	ROI — the R Optimization Infrastructure Package Stefan Theußl Kurt Hornik Add to Reading List Source URL: www.rinfinance.com Language: English - Date: 2012-05-11 18:34:48 Applied mathematics Quadratic programming Linear programming AMPL Quadratic Nonlinear programming Limited-memory BFGS BFGS method Constraint Mathematical optimization Numerical analysis Operations research

UPDATE